<html>
<head><meta charset="utf-8"><title>meeting 2018-10-25 · t-lang/wg-unsafe-code-guidelines · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/index.html">t-lang/wg-unsafe-code-guidelines</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html">meeting 2018-10-25</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="136443590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136443590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136443590">(Oct 24 2018 at 23:21)</a>:</h4>
<p>Hi everyone--reminder that we'll be meeting tomorrow right here :)</p>



<a name="136469878"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136469878" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136469878">(Oct 25 2018 at 11:03)</a>:</h4>
<p>I'm currently working on an introduction to the representation section:<br>
- why does data representation/layout matter: ABI compatibility, optimizations, any others?<br>
- overview of type properties (borrowing heavily from <a href="https://gankro.github.io/blah/rust-layouts-and-abis/" target="_blank" title="https://gankro.github.io/blah/rust-layouts-and-abis/">https://gankro.github.io/blah/rust-layouts-and-abis/</a>)</p>
<p>I don't think I'll have the PR submitted before the meeting today, so if there's anything you think should be in an intro, let me know :)</p>



<a name="136470036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136470036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136470036">(Oct 25 2018 at 11:06)</a>:</h4>
<blockquote>
<p>why does data representation/layout matter: ABI compatibility, optimizations, any others?</p>
</blockquote>
<p><code>transmute</code></p>



<a name="136470375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136470375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136470375">(Oct 25 2018 at 11:14)</a>:</h4>
<p>Today's meeting agenda:</p>
<p><strong> Meetings and DST </strong>: will we be changing the meeting time? Will DST make the current time a hardship for anyone? Updates will be communicated via the invite (ping <span class="user-mention" data-user-id="116009">@nikomatsakis</span> if you aren't on the invite and want to be)</p>
<p><strong> Current discussion status </strong><br>
-  Is the structs and tuples chapter ready for merge?<br>
-  Is the union chapter ready for merge?<br>
- Is the int/floating point chapter done? (no, but I should have a PR later today)<br>
- Writeups needed: enum, fn pointers, references, raw pointers<br>
- Are we doing a separate chapter on vector types? How is that discussion going?</p>
<p>Are we done with the discussions in the issues? If so, we should aim to have writeup PRs by the next meeting and start discussing the next topic. I propose that the next topic be <em>Validity invariants</em>.</p>
<p><strong> RustFest </strong>: I won't be attending, but if others are, do you want to do a f2f?</p>
<p><strong> Mozlando </strong>: I will be attending. Is there any interest in a f2f?</p>
<p>Any other agenda items I might have missed?</p>



<a name="136483422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136483422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136483422">(Oct 25 2018 at 15:03)</a>:</h4>
<p>I just pushed an update to the structs-and-tuples chapter to summarize the behavior around empty structs and things in a bit more detail. Hopefully accurate. =)</p>



<a name="136483429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136483429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136483429">(Oct 25 2018 at 15:03)</a>:</h4>
<blockquote>
<p>Are we done with the discussions in the issues? If so, we should aim to have writeup PRs by the next meeting and start discussing the next topic. I propose that the next topic be Validity invariants.</p>
</blockquote>
<p><span class="emoji emoji-1f44d" title="+1">:+1:</span> from me</p>



<a name="136484085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484085">(Oct 25 2018 at 15:11)</a>:</h4>
<p>Meeting starting in 5! Does anyone have any other topics to add before we get started?</p>



<a name="136484455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484455">(Oct 25 2018 at 15:16)</a>:</h4>
<p>hi all!</p>



<a name="136484466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484466">(Oct 25 2018 at 15:16)</a>:</h4>
<p>Hi everyone!</p>



<a name="136484491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484491">(Oct 25 2018 at 15:16)</a>:</h4>
<p>Hi!</p>



<a name="136484511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484511">(Oct 25 2018 at 15:17)</a>:</h4>
<p>Thanks to <span class="user-mention" data-user-id="116009">@nikomatsakis</span> and <span class="user-mention" data-user-id="120791">@RalfJ</span> for their excellent work on structs/tuples and unions</p>



<a name="136484515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484515">(Oct 25 2018 at 15:17)</a>:</h4>
<p>Hello!</p>



<a name="136484528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484528">(Oct 25 2018 at 15:17)</a>:</h4>
<p>I think that the struct/tuple discussion is nearly wrapped up (maybe merging later today?)</p>



<a name="136484533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484533">(Oct 25 2018 at 15:17)</a>:</h4>
<p>When do we think that the union chapter will be done?</p>



<a name="136484755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484755">(Oct 25 2018 at 15:20)</a>:</h4>
<p>there seem to be two open comments</p>



<a name="136484769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484769">(Oct 25 2018 at 15:20)</a>:</h4>
<p>one is disagreement about whether we should include invariant things (I think we shouldnt)</p>



<a name="136484789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484789">(Oct 25 2018 at 15:21)</a>:</h4>
<p>though I agree that maybe once we have both invariant and representation "done", it might be worth structuring them together</p>



<a name="136484790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484790">(Oct 25 2018 at 15:21)</a>:</h4>
<p>I agree--invariants are the next topic :)</p>



<a name="136484798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484798">(Oct 25 2018 at 15:21)</a>:</h4>
<p>i.e., struct invariant goes with struct layout, etc.</p>



<a name="136484804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484804">(Oct 25 2018 at 15:21)</a>:</h4>
<p>the other looks like just a typo?</p>



<a name="136484818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484818">(Oct 25 2018 at 15:21)</a>:</h4>
<p>sounds like we should have both merged by end of today then!</p>



<a name="136484819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484819">(Oct 25 2018 at 15:21)</a>:</h4>
<p>and then <span class="user-mention" data-user-id="116009">@nikomatsakis</span> said sth about repr(C) and ABI</p>



<a name="136484821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484821">(Oct 25 2018 at 15:21)</a>:</h4>
<p>which I dont entirely follow</p>



<a name="136484880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484880">(Oct 25 2018 at 15:22)</a>:</h4>
<p>I guess it's just that if a union is passed by-value to C it must be repr(C)?</p>



<a name="136484887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484887">(Oct 25 2018 at 15:22)</a>:</h4>
<p>but that's true for <em>anything</em>, I thought?</p>



<a name="136484900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484900">(Oct 25 2018 at 15:22)</a>:</h4>
<p>I'd say take the discussion offline</p>



<a name="136484909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484909">(Oct 25 2018 at 15:22)</a>:</h4>
<p>okay, I will ask in the thread</p>



<a name="136484910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484910">(Oct 25 2018 at 15:22)</a>:</h4>
<p>But it sounds like both are nearly ready to wrap up</p>



<a name="136484919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484919">(Oct 25 2018 at 15:22)</a>:</h4>
<p><span class="user-mention" data-user-id="125253">@Nicole Mazzuca</span> iirc you'd volunteered for the fn pointers writeup?</p>



<a name="136484948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484948">(Oct 25 2018 at 15:23)</a>:</h4>
<p>yep, I'm just apparently really bad at starting it</p>



<a name="136484954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136484954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136484954">(Oct 25 2018 at 15:23)</a>:</h4>
<p>I'll do it by end of day</p>



<a name="136485008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485008">(Oct 25 2018 at 15:24)</a>:</h4>
<p>Wonderful!</p>



<a name="136485037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485037">(Oct 25 2018 at 15:24)</a>:</h4>
<p>So, I saw that an issue about vectors is in the repo now--will that get it's own section, or is it part of an existing one</p>



<a name="136485053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485053">(Oct 25 2018 at 15:25)</a>:</h4>
<p>o/ sorry I'm late, took longer to walk home than anticipated</p>



<a name="136485060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485060">(Oct 25 2018 at 15:25)</a>:</h4>
<p>/me reads back-scroll</p>



<a name="136485067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485067">(Oct 25 2018 at 15:25)</a>:</h4>
<p>Also, is packed/align a separate issue, or part of an existing section?</p>



<a name="136485093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485093">(Oct 25 2018 at 15:25)</a>:</h4>
<p>/me looks at last weeks notes and see that she signed up for references and pointers and forgot...oops</p>



<a name="136485152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485152">(Oct 25 2018 at 15:26)</a>:</h4>
<p>Is anyone else interested in doing the ref/pointer writeup? I'm happy to still do it, but won't have time until next week</p>



<a name="136485183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485183">(Oct 25 2018 at 15:27)</a>:</h4>
<blockquote>
<p>Also, is packed/align a separate issue, or part of an existing section?</p>
</blockquote>
<p>I covered them in the structs section</p>



<a name="136485192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485192">(Oct 25 2018 at 15:27)</a>:</h4>
<p><span class="user-mention" data-user-id="126854">@avadacatavra</span> an issue about vectors? Hmm, I guess that means there's a general issue about whether we're doing guidelines just for Rust or for Rust+std.</p>



<a name="136485194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485194">(Oct 25 2018 at 15:27)</a>:</h4>
<p>but I .. suppose they can be applied to other types</p>



<a name="136485206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485206">(Oct 25 2018 at 15:27)</a>:</h4>
<p>there's no perfect organization :)</p>



<a name="136485224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485224">(Oct 25 2018 at 15:27)</a>:</h4>
<p>(same sort of applies to <code>#[repr(C)]</code>, as <span class="user-mention" data-user-id="120791">@RalfJ</span> just noted)</p>



<a name="136485239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485239">(Oct 25 2018 at 15:27)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> in the interests of moving on to new and exciting things, let's leave them where they are and we can always reorganize in editing later on</p>



<a name="136485244"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485244" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485244">(Oct 25 2018 at 15:27)</a>:</h4>
<blockquote>
<p>but I .. suppose they can be applied to other types</p>
</blockquote>
<p>can they? at least align presumably canbe?</p>



<a name="136485249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485249">(Oct 25 2018 at 15:28)</a>:</h4>
<p>agreed</p>



<a name="136485288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485288">(Oct 25 2018 at 15:28)</a>:</h4>
<p>seems like there should be a chapter on <code>repr</code> attributes?</p>



<a name="136485319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485319">(Oct 25 2018 at 15:28)</a>:</h4>
<p>I was thinking there should be a section, even if it just says e.g. "see the section on repr(C) included with each type for details about that sort of type"</p>



<a name="136485322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485322">(Oct 25 2018 at 15:28)</a>:</h4>
<blockquote>
<p>seems like there should be a section on repr attributes?<br>
isn't that in niko's section? or am i thinking of something else</p>
</blockquote>



<a name="136485325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485325">(Oct 25 2018 at 15:28)</a>:</h4>
<p>ok</p>



<a name="136485335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485335">(Oct 25 2018 at 15:28)</a>:</h4>
<p>I aslo don't want to waste too much time "perfecting" it</p>



<a name="136485340"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485340" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485340">(Oct 25 2018 at 15:29)</a>:</h4>
<p>seems like something we can cleanup async</p>



<a name="136485344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485344">(Oct 25 2018 at 15:29)</a>:</h4>
<p>niko is talking about a subsection of the struct/tuples chapter</p>



<a name="136485347"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485347" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485347">(Oct 25 2018 at 15:29)</a>:</h4>
<p>(maybe we can open an issue though)</p>



<a name="136485360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485360">(Oct 25 2018 at 15:29)</a>:</h4>
<p>I think</p>



<a name="136485373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485373">(Oct 25 2018 at 15:29)</a>:</h4>
<p>(correct)</p>



<a name="136485376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485376">(Oct 25 2018 at 15:29)</a>:</h4>
<p>gankro's post has all of those, so i'll talk to them and see if they're ok with me stealing the repr section</p>



<a name="136485380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485380">(Oct 25 2018 at 15:29)</a>:</h4>
<p>it'd be great to move the meeting slightly, btw, because I need to leave right now for class :P</p>



<a name="136485386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485386">(Oct 25 2018 at 15:29)</a>:</h4>
<p>o7</p>



<a name="136485391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485391">(Oct 25 2018 at 15:29)</a>:</h4>
<p>I meant something on the same organizational level as the chapters:</p>
<ul>
<li>unions</li>
<li>struct/tuple</li>
<li>enum</li>
<li><code>repr</code></li>
<li>...</li>
</ul>



<a name="136485392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485392">(Oct 25 2018 at 15:29)</a>:</h4>
<p>gankro's post is really good</p>



<a name="136485472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485472">(Oct 25 2018 at 15:30)</a>:</h4>
<p>ok so the sections that need writeups then are:</p>



<a name="136485491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485491">(Oct 25 2018 at 15:30)</a>:</h4>
<p>1. enums<br>
2. refs and pointers</p>



<a name="136485512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485512">(Oct 25 2018 at 15:30)</a>:</h4>
<p>3. ? vectors</p>



<a name="136485518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485518">(Oct 25 2018 at 15:30)</a>:</h4>
<blockquote>
<p>it'd be great to move the meeting slightly, btw, because I need to leave right now for class :P</p>
</blockquote>
<p>what are your constraints and which timezone youre going to be in next week? I think we were going to talk about the time in the light of DST later anyway.</p>



<a name="136485562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485562">(Oct 25 2018 at 15:31)</a>:</h4>
<p>what is the vector issue? I should check tha tout</p>



<a name="136485584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485584">(Oct 25 2018 at 15:31)</a>:</h4>
<p>oh, like SIMD</p>



<a name="136485676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485676">(Oct 25 2018 at 15:32)</a>:</h4>
<p>I'd like to make sure that all of the current issues have writeups by our next meeting, so if anyone is interested in doing a writeup, ping me (or comment on the issue</p>



<a name="136485705"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485705" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485705">(Oct 25 2018 at 15:32)</a>:</h4>
<p>I also would like to see that happen</p>



<a name="136485722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485722">(Oct 25 2018 at 15:33)</a>:</h4>
<p>I suppose I can do another write-up if needed</p>



<a name="136485725"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485725" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485725">(Oct 25 2018 at 15:33)</a>:</h4>
<p>That way, we can start discussing VALIDITY INVARIANTS</p>



<a name="136485731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485731">(Oct 25 2018 at 15:33)</a>:</h4>
<p>woohoo!</p>



<a name="136485761"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485761" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485761">(Oct 25 2018 at 15:33)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> i'm hoping that we can find someone else to (partially to give you a break and partially to give someone else an opportunity). if there's no takers by next week, i'll take you up on that</p>



<a name="136485817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485817">(Oct 25 2018 at 15:34)</a>:</h4>
<p>"validity invariants -- where structs are easy and unions hard" ;)</p>



<a name="136485829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485829">(Oct 25 2018 at 15:34)</a>:</h4>
<p>sounds good, i'd also like to see others getting involved</p>



<a name="136485839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485839">(Oct 25 2018 at 15:34)</a>:</h4>
<p>/me will start a twitter for the wg or something to publicize ways to get involved</p>



<a name="136485859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485859">(Oct 25 2018 at 15:34)</a>:</h4>
<p>Ok so there will be a PR later today about changing the active discussion then!</p>



<a name="136485877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485877">(Oct 25 2018 at 15:34)</a>:</h4>
<p>before we got the writeups...?</p>



<a name="136485921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485921">(Oct 25 2018 at 15:35)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> I think that we can start the next discussions while we asynchronously refine the writeups</p>



<a name="136485937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485937">(Oct 25 2018 at 15:35)</a>:</h4>
<p>kk</p>



<a name="136485942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136485942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136485942">(Oct 25 2018 at 15:35)</a>:</h4>
<p>i don't want to get bogged down in not moving on until everything is perfect :)</p>



<a name="136486002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486002">(Oct 25 2018 at 15:36)</a>:</h4>
<p>true. I'd also not want discussions to overlap too much though.</p>



<a name="136486003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486003">(Oct 25 2018 at 15:36)</a>:</h4>
<p>sounds great</p>



<a name="136486010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486010">(Oct 25 2018 at 15:36)</a>:</h4>
<p>we don't have to <em>merge</em> the PR</p>



<a name="136486014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486014">(Oct 25 2018 at 15:36)</a>:</h4>
<p>but I think having it open is good</p>



<a name="136486018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486018">(Oct 25 2018 at 15:36)</a>:</h4>
<p>fair enough</p>



<a name="136486023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486023">(Oct 25 2018 at 15:36)</a>:</h4>
<p>+1</p>



<a name="136486030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486030">(Oct 25 2018 at 15:36)</a>:</h4>
<p>in particular, the PR ought to kind of clarify the "main threads of discussion"</p>



<a name="136486036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486036">(Oct 25 2018 at 15:36)</a>:</h4>
<p>and iirc that took a bit of back and forth this time</p>



<a name="136486088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486088">(Oct 25 2018 at 15:37)</a>:</h4>
<p>okay</p>



<a name="136486089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486089">(Oct 25 2018 at 15:37)</a>:</h4>
<p>shall we merge <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/pull/31" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/pull/31">https://github.com/rust-rfcs/unsafe-code-guidelines/pull/31</a> ?</p>



<a name="136486093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486093">(Oct 25 2018 at 15:37)</a>:</h4>
<p>we can give the commit a bit of time</p>



<a name="136486159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486159">(Oct 25 2018 at 15:38)</a>:</h4>
<p>While we're talking about writeups, I want to make a note about how to handle disagreement/bikeshedding/etc. With the work we're doing, I totally expect some of that to happen. Instead of getting too deep in the weeds/bikeshed, I'd prefer to document the discussion and different points (which <span class="user-mention" data-user-id="116009">@nikomatsakis</span> did a great job in the structs/tuples writeup) so that we can continue to make progress and potentially revisit the issues at a later date</p>



<a name="136486187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486187">(Oct 25 2018 at 15:38)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> i think it looks good. we can always make more PRs later on if necessary :D</p>



<a name="136486214"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486214" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486214">(Oct 25 2018 at 15:39)</a>:</h4>
<p>re: disagreement, I agree, I think the idea of opening successively more refined issues felt "ok" — though we do have to ensure that they get wrapped up</p>



<a name="136486217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486217">(Oct 25 2018 at 15:39)</a>:</h4>
<p>one question I am not entirely clear on</p>



<a name="136486225"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486225" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486225">(Oct 25 2018 at 15:39)</a>:</h4>
<p>what to do with lingering points from previous discussion?</p>



<a name="136486240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486240">(Oct 25 2018 at 15:39)</a>:</h4>
<p>i.e., I think it's ok if we leave "FIXME"-style issues open, but move the "focus of discussion" to something else...</p>



<a name="136486259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486259">(Oct 25 2018 at 15:39)</a>:</h4>
<p>I agree--I don't think that we're going to be able to resolve <em>everything</em> immediately</p>



<a name="136486341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486341">(Oct 25 2018 at 15:40)</a>:</h4>
<p>I'll think about ways to not let those FIXMEs/TODOs get lost (and if anyone has ideas, ping me)</p>



<a name="136486374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486374">(Oct 25 2018 at 15:40)</a>:</h4>
<p>as long as there are open issues, it seems .. ok?</p>



<a name="136486381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486381">(Oct 25 2018 at 15:40)</a>:</h4>
<p>we should just make a point to circle back</p>



<a name="136486387"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486387" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486387">(Oct 25 2018 at 15:41)</a>:</h4>
<p>perhaps around this time when we are deciding on the next "focus" :)</p>



<a name="136486400"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486400" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486400">(Oct 25 2018 at 15:41)</a>:</h4>
<p>wfm</p>



<a name="136486406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486406">(Oct 25 2018 at 15:41)</a>:</h4>
<p>I guess it's like code FIXMEs -- it'd be great if we can log specific things in the future that we are blocked on, if that applies</p>



<a name="136486413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486413">(Oct 25 2018 at 15:41)</a>:</h4>
<blockquote>
<p>I'll think about ways to not let those FIXMEs/TODOs get lost (and if anyone has ideas, ping me)</p>
</blockquote>
<p>github labels?</p>



<a name="136486415"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486415" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486415">(Oct 25 2018 at 15:41)</a>:</h4>
<p>(I imagine there are sometimes circularities -- e.g., with union representation and validity invariants ..)</p>



<a name="136486427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486427">(Oct 25 2018 at 15:41)</a>:</h4>
<p>this btw is why I was shooting for labels like <code>topic-foo</code> and not <code>current-topic</code></p>



<a name="136486433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486433">(Oct 25 2018 at 15:41)</a>:</h4>
<p>or at least both</p>



<a name="136486478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486478">(Oct 25 2018 at 15:42)</a>:</h4>
<p>so that we can change current topic but still have issues open from the old one :)</p>



<a name="136486480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486480">(Oct 25 2018 at 15:42)</a>:</h4>
<p>we have both atm</p>



<a name="136486483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486483">(Oct 25 2018 at 15:42)</a>:</h4>
<p>we have "current-topic"?</p>



<a name="136486485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486485">(Oct 25 2018 at 15:42)</a>:</h4>
<p>which i like</p>



<a name="136486488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486488">(Oct 25 2018 at 15:42)</a>:</h4>
<p>yes, that's fine</p>



<a name="136486490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486490">(Oct 25 2018 at 15:42)</a>:</h4>
<p>ah both makes sense</p>



<a name="136486509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486509">(Oct 25 2018 at 15:42)</a>:</h4>
<p>So, the last thing I wanted to talk about is face to faces</p>



<a name="136486522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486522">(Oct 25 2018 at 15:42)</a>:</h4>
<p>I won't be at RustFest Rome (because I'll be in Paris)</p>



<a name="136486524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486524">(Oct 25 2018 at 15:42)</a>:</h4>
<p>we have a <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/issues?q=is%3Aissue+is%3Aopen+label%3A%22active+discussion+topic%22" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/issues?q=is%3Aissue+is%3Aopen+label%3A%22active+discussion+topic%22">lot of open issues right now</a></p>



<a name="136486536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486536">(Oct 25 2018 at 15:43)</a>:</h4>
<blockquote>
<p>I won't be at RustFest Rome (because I'll be in Paris)</p>
</blockquote>
<p>me neither :( :(</p>



<a name="136486552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486552">(Oct 25 2018 at 15:43)</a>:</h4>
<blockquote>
<p>(because I'll be in Paris)</p>
</blockquote>
<p>so close and yet so far...</p>



<a name="136486558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486558">(Oct 25 2018 at 15:43)</a>:</h4>
<blockquote>
<p>we have a <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/issues?q=is%3Aissue+is%3Aopen+label%3A%22active+discussion+topic%22" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/issues?q=is%3Aissue+is%3Aopen+label%3A%22active+discussion+topic%22">lot of open issues right now</a></p>
</blockquote>
<p>I'm hoping that we can resolve some of them by next meeting, but I've also noticed that a number of them are future discussions, which i like</p>



<a name="136486651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486651">(Oct 25 2018 at 15:44)</a>:</h4>
<p>I'm more than happy to do a f2f at Orlando for anyone who is there--this could be a formal meeting, hacking on stuff, or just hanging out</p>



<a name="136486660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486660">(Oct 25 2018 at 15:44)</a>:</h4>
<p>I'm hoping that at one of the rust confs next year, we can do the same</p>



<a name="136486680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486680">(Oct 25 2018 at 15:44)</a>:</h4>
<p>(re: the open issues, it'd be good to have everything assigned that we expect to be closed before we move on)</p>



<a name="136486803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486803">(Oct 25 2018 at 15:46)</a>:</h4>
<p>So, for anyone reading this asynchronously, let me know if you want a f2f in orlando or at a rust gathering next year (i should be at more of those unless they're when i already have a vacation like this year)</p>



<a name="136486831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486831">(Oct 25 2018 at 15:47)</a>:</h4>
<p>That's all I had on my agenda. Anything else?</p>



<a name="136486851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486851">(Oct 25 2018 at 15:47)</a>:</h4>
<p>(f2f in Orlando seems good)</p>



<a name="136486924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486924">(Oct 25 2018 at 15:48)</a>:</h4>
<p>f2f in Orlando works for me, but it will be moz-folks-only I suspect :/</p>



<a name="136486943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486943">(Oct 25 2018 at 15:48)</a>:</h4>
<p>yeah...that's why i want to do one at a general rust thing...but we've kinda run out of those</p>



<a name="136486949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486949">(Oct 25 2018 at 15:48)</a>:</h4>
<p>there is Rust LATAM in March :)</p>



<a name="136486952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486952">(Oct 25 2018 at 15:48)</a>:</h4>
<p>got to catch a bus, talk to you later!</p>



<a name="136486953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486953">(Oct 25 2018 at 15:48)</a>:</h4>
<p>/me plan to go</p>



<a name="136486978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136486978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136486978">(Oct 25 2018 at 15:49)</a>:</h4>
<p>/me can't even think about next years travel yet</p>



<a name="136487000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136487000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136487000">(Oct 25 2018 at 15:50)</a>:</h4>
<p>thanks all! (esp. <span class="user-mention" data-user-id="126854">@avadacatavra</span> )</p>



<a name="136487044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-10-25/near/136487044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-10-25.html#136487044">(Oct 25 2018 at 15:50)</a>:</h4>
<p>Great talk--as always, reach out to me if there's anything you want to discuss and I'll post a summary and make a twitter later today!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>